Translating FSP into LOTOS and networks of automata
نویسندگان
چکیده
منابع مشابه
skopos theory and translating strategies of csis in translaed literary texts from english into persian
abstract translation has become a cultural act which plays a significant role in human life. with the emergence of functional translation theories, and skopos theory in particular, translation has been considered as a purposeful, interpersonal and intercultural activity which is produced for particular recipients and directed by a specific purpose. this purpose determines the translatio...
15 صفحه اولproblems and strategies of translating persian lexical collocations into english: the case of noun-verb and noun-adjective collocations
در محیط های دانشگاهی ایران ، آموزش ترجمه واژگان هم آیند که به منزله امری لاینفک برای دانش جویان رشته مترجمی زبان می باشد، تا حدود زیادی نادیده گرفته شده است . این واقعیت باعث شده است تا دانش جویان رشته مترجمی زبان در ترجمه ی واژگان هم آیند اشتباهات بسیاری مرتکب شوند. این پژوهش توجه ویژه ای به ترجمه واژگان هم آیند داشته است. برای مشخص نمودن مشکلات و استراتژی های مورد استفاده ی دانش جویان در ترجم...
15 صفحه اولTranslating LOTOS to Object-Z
This paper presents a translation between the formal description technique LOTOS and the object-oriented specification language Object-Z. The need for such a translation lies in the use of formal methods in viewpoint specification, and in particular in the Open Distributed Processing standard. The use of viewpoints as a set of partial interlocking specifications brings an obligation to check th...
متن کاملTranslating Multiset Tree Automata into P Systems
In this work we propose a translation scheme to obtain P systems with membrane creation rules from transitions of multiset tree automata (MTA).
متن کاملSupporting ODP Translating LOTOS to Z
This paper describes a translation of full LOTOS into Z A common semantic model is de ned and the translation is proved correct with respect to the semantics The motivation for such a translation is the use of multiple viewpoints for spec ifying complex systems de ned by the reference model of the Open Distributed Processing ODP standardization initiative
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Formal Aspects of Computing
سال: 2009
ISSN: 0934-5043,1433-299X
DOI: 10.1007/s00165-009-0133-8